prenex normal form - Deutsch Englisch Wörterbuch